منابع مشابه
Maude Object-Oriented Action Tool
Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Moreover, it supports syntax-independent specifications, due to the way classes are written. Maude Object-Oriented Action Tool (MOOAT) is an executable environment for Object-Oriented Action Semantics imp...
متن کاملTowards Generic Monitors for Object-Oriented Real-Time Maude Specifications
Non-Functional Properties (NFPs) are crucial in the design of software. Specification of systems is used in the very first phases of the software development process for the stakeholders to make decisions on which architecture or platform to use. These specifications may be analyzed using different formalisms and techniques, simulation being one of them. During a simulation, the relevant data i...
متن کاملObject-Oriented Action Semantics Specifications
Action Semantics is a framework for the formal specification of programming languages. Two different, recently proposed approaches provide modularity to the framework, allowing for specification reusability and extension. In this work, we analyze the previous approaches, and introduce Object-Oriented Action Semantics, a new form of modular organization of Action Semantics descriptions. Object-o...
متن کاملMaude MSOS Tool
3 MSDF syntax 4 3.1 Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Datatype definitions . . . . . . . . . . . . . . . . . . . . . . . 6 3.3 Labels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.4 Semantic transitions . . . . . . . . . . . . . . . . . . . . . . . 10 3.5 Built-in operations on derived and parameterized sets . . . . . 14 3.6 Sequences ...
متن کاملThe Real-Time Maude Tool
Real-Time Maude is a rewriting-logic-based tool supporting the formal specification and analysis of real-time systems. Our tool emphasizes expressiveness and ease of specification over algorithmic decidability of key properties, and provides a spectrum of analysis methods, including symbolic simulation, and unbounded and time-bounded reachability analysis and LTL model checking. Real-Time Maude...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.03.068